domain理论相关论文
设(Ω，*，I)是一个交换的有单位元的quantale，它是一个monoidal闭范畴，其上的enriched范畴简称为Ω-范畴．Ω-范畴是量化domain理论中主要......
随着计算机科学的飞速发展，有关计算机科学的数学基础研究越来越受到人们的关注和重视，已成为数学和计算机科学研究者共同感兴趣的领......
Domain理论具有理论计算机科学与纯数学的双重研究背景，它是计算机程序设计语言的指称语义学的数学基础，它与拓扑、逻辑、代数、范畴......
无论从计算机科学和纯数学方面，Domain理论研究的一个重要方面是尽可能地将连续格(Domain)理论推广到更为一般的偏序结构上去.本文......
自Turing奖得主Scott发现连续格以来，许多研究者对连续格的研究就保持着浓厚的兴趣.连续格是一种具有特殊性质的完备格，其内部结构十......
拓扑系统是目前最广泛的拓扑研究对象之一,它以点集拓扑空间,Locale的空间化,模糊拓扑空间与拓扑分子格为特例.它可以用来研究计算......
引入稳定模糊谓词的概念，讨论稳定模糊谓词的一些基本性质和它的线性运算，建立具有相容交dcpo上的ξ-半拓扑与模糊ξ-半拓扑之间的序......
谓词转换器语义是用程序验证技术来定义程序语言的一种方式。为描述程序的语义，在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转......
第6届Domain理论及其应用国际学术研讨会（The 6th International Symposiumon Domain Theory and Its Applications）于2013年10月25～2......
讨论计算机程序设计语言的Ｄｏｍａｉｎ理论中的拓扑方法，研究稳定映射空间的开集，引入了极大类全函数概念，讨论极大类稳定全函数的性质。......
本文从函数空间的Isbell拓扑以及ω-连续性两方面给出了紧连续L-domain的刻画定理.其主要结果是:连续L-domain是Lawson紧的当且仅......
建筑行业对于经济发展的影响有着重要的作用,在其迅速发展的进展中,也标志着一个国家的富强。随着科学技术的进步,市场化的发展已......
Domain理论的目的是为程序设计语言提供数学语义模型,信息状态域的指称称为Domain,而程序的指称是Domain间的映射.本文主要介绍Dom......
在一类特殊的L-拟序集上定义广义Alexandroff拓扑,限制到通常的拟序集上就是Alexandroff拓扑,并且该拓扑可以由其上的一族Alexandr......
